Formal Analysis of MCAP Protocol Against Replay Attack
نویسندگان
چکیده
منابع مشابه
Securing Speaker Verification System Against Replay Attack
In this paper, we present a framework to combat replay attack (RA) in a speaker verification (SV) system. Although the problem of SV system vulnerabilities is not new, however, dramatic improvements in both SV systems and attack models have renewed interest in this area. We have shown that the replay attack can be modeled using a nonlinear transfer function. Higher-order spectral analysis is co...
متن کاملFormal Analysis of an Authentication Protocol Against External Cloud-Based Denial-of-Service (DoS) Attack
The Denial-of-service (DoS) attack is considered one of the largest threats to the availability of cloudcomputing services. Due to the unique architecture of cloud-computing systems, the methods for detecting and preventing DoS attacks are quite different from those used in traditional network systems. A main target for DoS attackers is the authentication protocol because it is considered a gat...
متن کاملSpecification, Simulation and Validation of Kerberos Protocol against replay attack using SPIN
The general context of this paper is the verification of the Kerberos authentication protocol and its immunity against the replay-attack. A Promela model of the protocoland the intruder executing a replay-attack was build; this model will be simulated and verified using the powerful tool spin. The results prove that the protocol is against the replay attack as it is announced.
متن کاملReplay Attack Prevention in Kerberos Authentication Protocol Using Triple Password
Replay attack and password attacks are serious issues in the Kerberos authentication protocol. Many ideas have been proposed to prevent these attacks but they increase complexity of the total Kerberos environment. In this paper we present an improved method which prevents replay attacks and password attacks by using Triple password scheme. Three passwords are stored on Authentication Server and...
متن کاملAudio-Replay Attack Detection Countermeasures
This paper presents the Speech Technology Center (STC) replay attack detection systems proposed for Automatic Speaker Verification Spoofing and Countermeasures Challenge 2017. In this study we focused on comparison of different spoofing detection approaches. These were GMM based methods, high level features extraction with simple classifier and deep learning frameworks. Experiments performed on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Journal of Mathematics & Computer Science
سال: 2017
ISSN: 2231-0851
DOI: 10.9734/bjmcs/2017/32744